$\forall$$T$:Type, $x$:$T$, $l$:($T$ List). ($x$ $\in$ $l$) $\in$ prop\{i:l\}